NaturalLI: Natural Logic Inference for Common Sense Reasoning
نویسندگان
چکیده
Common-sense reasoning is important for AI applications, both in NLP and many vision and robotics tasks. We propose NaturalLI: a Natural Logic inference system for inferring common sense facts – for instance, that cats have tails or tomatoes are round – from a very large database of known facts. In addition to being able to provide strictly valid derivations, the system is also able to produce derivations which are only likely valid, accompanied by an associated confidence. We both show that our system is able to capture strict Natural Logic inferences on the FraCaS test suite, and demonstrate its ability to predict common sense facts with 49% recall and 91% precision.
منابع مشابه
Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
People use common sense in their interactions with large information systems. This common sense needs to be formalized so that it can be used by computer systems. Unfortunately, previous formalizations have been inadequate. For example, classical logic is not safe for use with pervasively inconsistent information. The goal is to develop a standard foundation for reasoning in large-scale Interne...
متن کاملROBUSTNESS OF THE TRIPLE IMPLICATION INFERENCE METHOD BASED ON THE WEIGHTED LOGIC METRIC
This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...
متن کاملInference in Action
Inference entangled with other information sources In the 1980s, several interesting nonstandard notions of consequence P C emerged, claiming to reflect features of our common sense reasoning. Circumscription in AI looked at conclusions C true only in minimal models of the premises P, with minimality measured by some comparison order for model size or predicate interpretation. General non-monot...
متن کاملBuilding a Knowledge Base System for an Integration of Logic Programming and Classical Logic
This paper presents a Knowledge Base project for FO(ID), an extension of classical logic with inductive definitions. This logic is a natural integration of classical logic and logic programming based on the view of a logic program as a definition. We discuss the relationship between inductive definitions and common sense reasoning and the strong similarities and striking differences with ASP an...
متن کاملFibring of Logics as a Universal Construction
1 PROLEGOMENON TO FIBRING It is a task of philosophy to explain the sense in which contemporary science uses the label " logics " , specially through " logics in " (natural language, program verification, machine learning, knowledge representation, abduc-tive and inductive reasoning, etc.) as well as " logics for " (hybrid reasoning systems, ontology, engineering, reasoning about cryptographic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014